package edu.gatech.cc.concolic.bytecode;

import gov.nasa.jpf.jvm.KernelState;
import gov.nasa.jpf.jvm.SystemState;
import gov.nasa.jpf.jvm.ThreadInfo;
import gov.nasa.jpf.jvm.bytecode.Instruction;

public class INVOKEINTERFACE extends gov.nasa.jpf.jvm.bytecode.INVOKEINTERFACE {
	  public Instruction execute (SystemState ss, KernelState ks, ThreadInfo ti) {
		  
		  System.out.println("Calling: " + getMethodInfo());
		  		  
		  return super.execute(ss, ks, ti);
	  }
	
}
